1401. Synthesis and Control of Discrete Event Systems
پدیدآورنده : edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided design.,Engineering.,Systems theory.
رده :
QA402
.
E358
2002
1402. Synthesis of Finite State Machines
پدیدآورنده : by Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
1403. Synthesis of Specifications and Refinement Maps for Real-time Object Code Verification
پدیدآورنده : Al-Qtiemat, Eman Mohammad
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering,Computer science,Electrical engineering
1404. Synthesis of Specifications and Refinement Maps for Real-time Object Code Verification
پدیدآورنده : Al-Qtiemat, Eman Mohammad
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering,Computer science,Electrical engineering
1405. System-Level Validatio
پدیدآورنده : / by Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Computer science,Electronics,Systems engineering,Electronic books
رده :
E-BOOK
1406. System and architecture :
پدیدآورنده : Sunil Kumar Muttoo, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73
1407. System-level design methodologies for telecommunication
پدیدآورنده : / Nicolas Sklavos, Michael Hubner, Diana Goehringer, Paris Kitsos, editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Telecommunication systems, Design and construction,Systems engineering,Engineering,Circuits and Systems,Communications Engineering, Networks,Computer Systems Organization and Communication Networks
رده :
E-BOOK
1408. Systematic modeling and analysis of telecom frontends and their building blocks /
پدیدآورنده : by Piet Vanassche, Georges Gielen and Willy Sansen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Analog electronic systems-- Design and construction.,Linear integrated circuits-- Design and construction.,Analog electronic systems-- Design and construction.,Analog electronic systems-- Design and construction.,Ingénierie.,Linear integrated circuits-- Design and construction.,Linear integrated circuits-- Design and construction.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7874
.
V38
2005eb
1409. Systems Implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000 : Languages, Methods and Tools 23-26 February 1998, Berlin, Germany
پدیدآورنده : edited by R. N. Horspool
کتابخانه: (طهران)
موضوع : Software engineering - Congresses , Computer software - Development - Congresses
رده :
QA
76
.
758
.
I35
1998
1410. Systems, Software and Services Process Improvement :
پدیدآورنده : edited by Fergal McCaffery, Rory V. O'Connor, Richard Messnarz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
رده :
QA76
.
76
.
D47
E358
2013
1411. Systems analysis and design /
پدیدآورنده : Alan Dennis, Barbara Haley Wixom, Roberta M. Roth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,System analysis.,System design.,Computer architecture.,COMPUTERS-- Programming Languages-- COBOL.,System analysis.,System design.
رده :
QA76
.
9
.
S88
D464
2014
1412. Systems development methods for databases, enterprise modeling, and workflow management
پدیدآورنده : edited by Wita Wojtkowski [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,System design -- Congresses.,Workflow management systems -- Congresses.
رده :
QA76
.
9
.
S88
E358
1999
1413. Systems thinking and e-participation :
پدیدآورنده : [edited by] Jose Rodrigo Cordoba-Pachón, Alejandro Elias Ochoa-Arias.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Communication in politics.,Internet in public administration, Cross-cultural studies.,Political participation-- Computer networks, Cross-cultural studies.,Communication in politics.,Internet in public administration.,Political participation-- Computer networks.,POLITICAL SCIENCE-- Public Affairs & Administration.
رده :
JF1525
.
A8
S98
2010eb
1414. TCP/IP and Linux protocol implementation :systems code for the Linux Internet
پدیدآورنده : Jon Crowcroft, Iain Phillips [editors]
کتابخانه: کتابخانه مرکز تحقیقات بیوشیمی- بیوفیزیک دانشگاه تهران (طهران)
موضوع : TCP/IP (Computer network protocol),Internet
رده :
TK
5105
.
585
.
T34
2002
1415. TRON Project 1990 :
پدیدآورنده : edited by Ken Sakamura.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
A73
E358
1990
1416. TRON Project 1989 :
پدیدآورنده : edited by Ken Sakamura.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
A73
E358
1989
1417. Tabular Application Development for Information Systems :
پدیدآورنده : by Talib Damij.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Database management.,Information storage and retrieval systems.
رده :
QA76
.
9
.
O35
B983
2001
1418. Tagungsband des 4. Kongresses Montage Handhabung Industrieroboter
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
TJ210
.
2-211
.
495T59
.
5
1419. Take no prisoners
پدیدآورنده : Marvin A. Davis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
HD56
.
D38
2008
1420. Technological aspects of virtual organizations :
پدیدآورنده : by Alea M. Fairchild, Ph. D., Vesalius College/Vrije Universiteit Brussel, Belgium and Grenier International, Inc. ; contribution by Bruno de Vuyst, Advocaat.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business enterprises -- Computer networks.,Management information systems.,Virtual corporations.
رده :
QA76
.
76
.
H94
B935
9999